Guest editorial: special issue on formal methods in control
نویسندگان
چکیده
منابع مشابه
Guest Editorial Special Issue: Configuration
Configuration can be defined as the composition of a complex product from instances of a set of component types taking into account restrictions on the compatibility of those component types. For supporting product configuration, different AI approaches are well established as central technologies in industrial configuration systems. However, the wide industrial use of configuration technologie...
متن کاملGuest Editorial Special Issue on Networked Control Systems
M OTIVATED by the accelerating technological convergence of communications, control, and computing, researchers from a variety of disciplines have become interested in the exciting potential and technological challenges of networked control systems (NCSs). In the broadest terms, these systems are comprised of actuators, sensors, and controllers whose operation is coordinated through some form o...
متن کاملGuest Editorial: Special Issue on Control of Quantum Mechanical Systems
I T is perhaps not too surprising (at least for a control audience) that “manipulating and controlling things at a small scale” was already a key part of the program that Richard P. Feynman formulated in his 1959 visionary lecture [1] which is commonly recognized as the birth place of Quantum Information. Quoting from [1]: “The principles of Physics as far as I can see do not speak against the ...
متن کاملGuest editorial: special issue on electronic voting
T HIS special issue provides representative samples of the excellent research being carried out in electronic voting today—in areas as diverse as statistics, usability, cryptography, formal methods in security and experimental computer security analysis. It is perhaps the first broadly defined special issue of a technical journal in this rapidly growing and important research area. The last few...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Discrete Event Dynamic Systems
سال: 2017
ISSN: 0924-6703,1573-7594
DOI: 10.1007/s10626-017-0246-9